Nuprl Definition : p-outcome
11,40
postcript
pdf
p-outcome(
p
) == int_seg(0; ||
p
||)
latex
Definitions
int_seg(
i
;
j
)
,
#$n
,
||
as
||
FDL editor aliases
p-outcome
origin